A Temporal Data Maintenance Method in an ATMS
نویسندگان
چکیده
An ATMS (Assumption-based Truth Maintenance System) has been widely used for maintaining the truth of an information by detecting and solving the contradictions in rule-based systems. However, the ATMS cannot correctly maintain the truth of the information in case that the generated information is satisfied within a time interval or includes data about temporal relations of events in time varying situations, because it has no mechanism manipulating temporal data. In this paper, we propose the extended ATMS that can maintain the truth of the information in the knowledge-based system using information changing over time or temporal relations of events. To maintain the contexts generated by relations of events, we modify the label representation method, the disjunction and conjunction simplification method in the label-propagation procedure and the nogood handling method of the conventional ATMS. key words: ATMS, expert system, temporal reasoning, truth maintenance, non-monotonic reasoning
منابع مشابه
Axiom Pinpointing Using an Assumption-Based Truth Maintenance System
The problem of axiom pinpointing [1, 22], that is, finding the minimal set of axioms responsible for an unwanted consequence, is an important problem in ontology debugging. One approach to identifying the axioms responsible for an unwanted consequence is to trace dependencies between inferences leading to the consequence. Several authors have proposed truth maintenance systems as a means of kee...
متن کاملA Probabilistic Atms
Truth maintenance systems (TMS) provide a method of improving the e ciency of search during problem solving. The problem solver uses the TMS to record the reasons that facts are derivable so that facts need not be rederived during the course of the search. De Kleer's Assumption Based Truth Maintenance system (ATMS) [deKleer 86] overcomes the limitations of many earlier systems, such as not bein...
متن کاملThe Optimization of Forecasting ATMs Cash Demand of Iran Banking Network Using LSTM Deep Recursive Neural Network
One of the problems of the banking system is cash demand forecasting for ATMs (Automated Teller Machine). The correct prediction can lead to the profitability of the banking system for the following reasons and it will satisfy the customers of this banking system. Accuracy in this prediction are the main goal of this research. If an ATM faces a shortage of cash, it will face the decline of bank...
متن کاملAn Improvement in Temporal Resolution of Seismic Data Using Logarithmic Time-frequency Transform Method
The improvement in the temporal resolution of seismic data is a critical issue in hydrocarbon exploration. It is important for obtaining more detailed structural and stratigraphic information. Many methods have been introduced to improve the vertical resolution of reflection seismic data. Each method has advantages and disadvantages which are due to the assumptions and theories governing their ...
متن کاملموانع و تسهیلکنندههای سالمندان ایرانی در استفاده از دستگاههای خودپرداز بانک: یک مطالعه کیفی بهروش کاوش فرهنگی
Objectives: Having considering to the rate of increasing of elder people population in Iran, is preadicted that in the next thirty years the number of elderly people who need to independently work with electronic devices such as ATMs machineswill be significantly increased while there is no sufficient studies in order to modification of these devices considering physical, mental and psychology ...
متن کامل